$\vdash$  $\neg$(tt = ff)